#include "../userprog/syscall.h"

void main(){
char * execName;
int nameLen;

execName = "../test/manager";
nameLen = 15;
Exec(execName, nameLen);
}